diagonal argument造句
造句與例句
手機(jī)版
- This proof is analogous to Cantor's diagonal argument.
- The paradox can be interpreted as an application of Cantor's diagonal argument.
- One of these theorems is " diagonal argument.
- However a diagonal argument will show that the function of two arguments is not primitive recursive.
- Cantor's diagonal argument has often replaced his 1874 construction in expositions of his proof.
- The diagonal argument is constructive and produces a more efficient computer program than his 1874 construction.
- He also discovered a proof method that later became known as the Cantor's diagonal argument.
- Historically, the diagonal argument first appeared in the work of Paul du Bois-Reymond in 1875.
- For example, the conventional proof of the unsolvability of the halting problem is essentially a diagonal argument.
- The lemma is called " diagonal " because it bears some resemblance to Cantor's diagonal argument.
- It's difficult to see diagonal argument in a sentence. 用diagonal argument造句挺難的
- Analogues of the diagonal argument are widely used in mathematics to prove the existence or nonexistence of certain objects.
- In 1891, he published a paper containing his elegant " diagonal argument " for the existence of an uncountable set.
- In 1874, he showed that the set of all real numbers is diagonal argument, which he published in 1891.
- In the 1870s Georg Cantor started to develop set theory and in 1874 published a diagonal argument to prove the same result.
- I'm writing an article on Cantor's diagonal argument in contribs 05 : 14, 21 October 2005 ( UTC)
- Employing a diagonal argument, G鰀el's incompleteness theorems were the first of several closely related theorems on the limitations of formal systems.
- His proof used an argument with nested intervals, but in an 1891 paper he proved the same result using his ingenious but simpler diagonal argument.
- They must be taken into account to construct a valid proof, applying his 1891 diagonal argument to decimal expansions, of the uncountability of the unit interval.
- However the set of primitive recursive functions does not include every possible total computable function this can be seen with a variant of Cantor's diagonal argument.
- Given a guaranteed halting language, the computable function which is produced by Cantor's diagonal argument on all computable functions in that language is not computable in that language.
如何用diagonal argument造句，用diagonal argument造句，diagonal argument in a sentence, 用diagonal argument造句和diagonal argument的例句由查查漢語詞典提供，版權(quán)所有違者必究。